Requalifier les territoires de l’action locale

Un nouvel algorithme de consistance locale sur les nombres flottants

Solving constraints over floating-point numbers is a critical issue in numerous applications notably in program verification. Capabilities of filtering algorithms over the floating-point numbers have been so far limited to 2b-consistency and its derivatives. Though safe, such filtering techniques suffer from the well known pathological problems of local consistencies, e.g., inability to efficie...

Intégrer des modèles de viabilité dans les outils d'aide à la gestion participative de territoires protégés

An important challenge for participatory management is to manage renewable resources and biodiversity. In the framework of the decision support for participatory management of protected areas, we propose in this thesis an expert agent who provides information on the viability of the proposed solutions to help players to make a decision. This is a new application of the viability theory that pro...

Une méthode d'évaluation géolocalisée de l'insertion des projets routiers dans les territoires et de choix de variantes

A geo-located evaluation method for the integration of road projects in territories andthe choice of variantsBased on the advanced technique and science in the domains of the geographic informationand the social and environmental indicators, the objective of this thesis is to contribute to thedevelopment of a tool for helping the road variants identification and evaluation.<...

Les rongeurs de la region de Tehran

Décomposition arborescente et cohérence locale souple dans les CSP pondérés

Plusieurs approches récentes pour résoudre les modèles graphiques (réseaux Bayésiens avec contraintes) exploitent simultanément une décomposition du graphe et le maintien d’une propriété de cohérence locale. La décomposition de graphe exploite la structure du problème, offrant des bornes sur la complexité spatiale et temporelle, tandis que la propagation des contraintes dures conduit en pratiqu...